Uses of Class
edu.uky.ai.lp.logic.Constant
| Package | Description |
|---|---|
| edu.uky.ai.lp.logic |
Contains classes for representing logical formulas in function-free
predicate logic, unifiers, and knowledge bases.
|
-
Uses of Constant in edu.uky.ai.lp.logic
Methods in edu.uky.ai.lp.logic that return Constant Modifier and Type Method Description ConstantConstant. substitute(Unifier unifier)